Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
681	Quantification in Child Language Jeffrey Lidz University of Maryland "Who did you pass on the road?" the King went on, holding out his hand to the Messenger for some more hay. "Nobody" said the Messenger. Add to Reading List Source URL: ling.umd.edu Language: English - Date: 2014-06-16 05:16:24 Logic Quantification Semantics Mathematics Abstraction Quantifier Generalized quantifier Approximate number system Proposition Mathematical logic Cardinality Cardinal number
682	Relational program logics in decomposed style Lennart Beringer ∗ Department of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08540 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2010-08-09 16:46:30 Model theory Formal languages Mathematical logic Structure Universal algebra Interpretation Relational algebra Substitution
683	Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-10-06 07:21:32 Automated theorem proving Theoretical computer science Mathematics Heuristics Rippling Mathematical logic Lemma Unification
684	CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-05-19 12:03:26 Mathematics Mathematical logic Theoretical computer science Computability theory Theory of computation Recursion Type theory Structural induction Mathematical induction Rippling Nqthm Constructible universe
685	RAC Rev. R. Acad. Cien. Serie A. Mat. VOL), 2004, pp. 153–180 Ciencias de la Computaci´on / Computational Sciences Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2006-07-26 07:36:55 Mathematics Logic Theoretical computer science Mathematical logic Automated theorem proving Type theory Logic in computer science Nqthm Mathematical induction Mathematical proof Recursive definition Induction
686	On the “Logic without Borders” Point of View∗ Juliette Kennedy Department of Mathematics and Statistics University of Helsinki, Finland June 29, 2014 Add to Reading List Source URL: www.math.helsinki.fi Language: English - Date: 2015-04-07 08:36:39 Mathematical logic Logic Model theory Mathematics Large cardinals Set theory Metalogic Stable theory First-order logic Second-order logic Constructible universe Tree
687	Application for a Dagstuhl Seminar Deduction and Arithmetic Nikolaj Bjørner Reiner H¨ahnle Tobias Nipkow Add to Reading List Source URL: www.dagstuhl.de Language: English - Date: 2010-04-21 04:49:56 Theoretical computer science Mathematical logic Logic Logic in computer science Automated theorem proving Formal methods Model theory Satisfiability modulo theories Automated reasoning Presburger arithmetic First-order logic Formal verification
688	RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky Add to Reading List Source URL: hott-uf.gforge.inria.fr Language: English - Date: 2015-07-04 05:55:41 Mathematics Academia Mathematical logic Type theory Abstract algebra Logic in computer science Mathematical structures Formal methods Intuitionistic type theory Expression Lambda calculus Universal algebra
689	Information Retrieval A Relational Model of Data for Large Shared Data Banks E. F. CODD Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2008-12-08 10:06:26 Mathematics Logic Mathematical logic Model theory Relational model Binary relation Structure First-order logic Finitary relation Relation Path ordering Relational algebra
690	Microsoft PowerPoint - Dissvortrag-Version_2007-11-08_online.ppt Add to Reading List Source URL: www.ruedi-arnold.com Language: English - Date: 2011-12-23 03:20:07 Logic Mathematical logic Abstraction Syntax Propositional calculus Non-classical logic Boolean algebra Matrix Well-formed formula Proposition Tautology First-order logic

UPDATE